The Collapse of the Polynomial Hierarchy: NP = P

نویسنده

  • Javaid Aslam
چکیده

We present a novel extension to the permutation group enumeration technique which is well known to have polynomial time algorithms. This extended technique allows each perfect matching in a bipartite graph of size O(n) to be expressed as a unique directed path in a directed acyclic graph of size O(n). Thus it transforms the perfect matching counting problem into a directed path counting problem. We further show how this technique can be used for solving a class of #P-complete counting problems by NC-algorithms, where the solution space of the associated search problems spans a symmetric group. Two examples of the natural candidates in this class are Perfect Matching and Hamiltonian Circuit problems. The sequential time complexity and the parallel (NC) processor complexity of the above two counting problems are shown to be O(n log n) and O(n) respectively. And thus we prove a result even more surprising than NP = P, that is, #P = FP, where FP is the class of functions, f : {0, 1}∗ → N, computable in polynomial time on a deterministic model of computation such as a deterministic Turing machine or a RAM. It is well established that NP ⊆ P, and hence the Polynomial Time Hierarchy collapses to P.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

If NP has Polynomial-Size Circuits, then MA=AM

It is shown that the assumption of NP having polynomial size circuits implies apart from a collapse of the polynomial time hierarchy as shown by Karp and Lip ton that the classes AM and MA of Babai s Arthur Merlin hierarchy coincide This means that also a certain inner collapse of the remaining classes of the polynomial time hierarchy occurs It is well known KL that the assumption of NP having ...

متن کامل

The Boolean Hierarchy and the Polynomial Hierarchy: a Closer Connection

We show that if the Boolean hierarchy collapses to level k, then the polynomial hierarchy collapses to BH3(k), where BH3(k) is the k th level of the Boolean hierarchy over Σ2 . This is an improvement over the known results [3], which show that the polynomial hierarchy would collapse to P [O(log . This result is significant in two ways. First, the theorem says that a deeper collapse of the Boole...

متن کامل

New Collapse Consequences of NP Having Small Circuits

We show that if a self-reducible set has polynomial-size circuits, then it is low for the probabilistic class ZPP(NP). As a consequence we get a deeper collapse of the polynomial-time hierarchy PH to ZPP(NP) under the assumption that NP has polynomial-size circuits. This improves on the well-known result of Karp, Lipton, and Sipser [KL80] stating a collapse of PH to its second level Σ2 under th...

متن کامل

Elimination of Parameters in the Polynomial Hierarchy Elimination of Parameters in the Polynomial Hierarchy R Esum E Elimination of Parameters in the Polynomial Hierarchy

Blum, Cucker, Shub and Smale have shown that the problem \P = NP ?" has the same answer in all algebraically closed elds of characteristic 0. We generalize this result to the polynomial hierarchy: if it collapses over an algebraically closed eld of characteristic 0, then it must collapse at the same level over all algebraically closed elds of characteristic 0. The main ingredient of their proof...

متن کامل

On the Resource Bounded Measure of P/poly

We show that the class of sets having polynomial size circuits, P=poly, has EXPNP-measure zero under each of the following two assumptions: EXPNP 6= ZPP p2 (which holds if the polynomial time hierarchy does not collapse to ZPP p2 ), or NP is not small (does not have EXP-measure zero).

متن کامل

On Existentially First-order Deenable Languages and Their Relation to Np

Under the assumption that the Polynomial-Time Hierarchy does not collapse we show for a regular language L: The unbalanced polynomialtime leaf language class determined by L equals NP i L is existentially but not quanti erfree de nable in FO[<;min;max;+1; 1]. Furthermore, no such class lies properly between NP and co-1-NP or NP co-NP. The proofs rely on a result of Pin & Weil [9] characterizing...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009